Instance,nrRules,success,nrStates,n,runtime_ms
1,7,1,3,1,15
2,7,1,3,1,2
3,7,1,3,1,2
4,7,1,3,1,2
5,7,1,3,1,2
6,7,1,3,1,2
7,7,1,3,1,2
8,7,1,3,1,1
9,7,1,3,1,1
10,7,1,3,1,1
11,7,1,3,1,1
12,7,1,3,1,1
13,7,1,3,1,1
14,7,1,3,1,1
15,7,1,3,1,1
16,7,1,3,1,1
17,7,1,3,1,1
18,7,1,3,1,1
19,7,1,3,1,1
20,7,1,3,1,1
21,7,1,3,1,1
22,238,1,42,2,12
23,238,1,42,2,8
24,238,1,42,2,6
25,238,1,42,2,6
26,238,1,42,2,5
27,238,1,42,2,5
28,238,1,42,2,5
29,238,1,42,2,5
30,238,1,42,2,5
31,238,1,42,2,5
32,238,1,42,2,6
33,238,1,42,2,5
34,238,1,42,2,5
35,238,1,42,2,5
36,238,1,42,2,4
37,238,1,42,2,4
38,238,1,42,2,4
39,238,1,42,2,4
40,238,1,42,2,4
41,238,1,42,2,4
42,238,1,42,2,5
43,238,1,42,2,4
44,238,1,42,2,4
45,238,1,42,2,4
46,238,1,42,2,5
47,238,1,42,2,4
48,238,1,42,2,4
49,238,1,42,2,4
50,238,1,42,2,3
51,238,1,42,2,4
52,238,1,42,2,3
53,238,1,42,2,3
54,238,1,42,2,3
55,238,1,42,2,3
56,238,1,42,2,3
57,238,1,42,2,3
58,238,1,42,2,3
59,238,1,42,2,3
60,238,1,42,2,3
61,238,1,42,2,3
62,238,1,42,2,3
63,238,1,42,2,3
64,238,1,42,2,3
65,238,1,42,2,3
66,238,1,42,2,2
67,238,1,42,2,2
68,238,1,42,2,2
69,238,1,42,2,2
70,238,1,42,2,2
71,238,1,42,2,2
72,238,1,42,2,2
73,238,1,42,2,2
74,238,1,42,2,2
75,238,1,42,2,2
76,238,1,42,2,3
77,238,1,42,2,2
78,238,1,42,2,2
79,238,1,42,2,2
80,238,1,42,2,2
81,238,1,42,2,2
82,238,1,42,2,2
83,238,1,42,2,2
84,238,1,42,2,2
85,238,1,42,2,2
86,238,1,42,2,2
87,238,1,42,2,2
88,238,1,42,2,2
89,238,1,42,2,2
90,238,1,42,2,2
91,238,1,42,2,2
92,238,1,42,2,2
93,238,1,42,2,2
94,238,1,42,2,2
95,238,1,42,2,2
96,238,1,42,2,2
97,238,1,42,2,2
98,238,1,42,2,2
99,238,1,42,2,2
100,238,1,42,2,2
101,238,1,42,2,2
102,238,1,42,2,2
103,238,1,42,2,2
104,238,1,42,2,2
105,238,1,42,2,2
106,238,1,42,2,3
107,238,1,42,2,3
108,238,1,42,2,3
109,238,1,42,2,3
110,238,1,42,2,2
111,238,1,42,2,2
112,238,1,42,2,2
113,238,1,42,2,2
114,238,1,42,2,2
115,238,1,42,2,2
116,238,1,42,2,2
117,238,1,42,2,1
118,238,1,42,2,2
119,238,1,42,2,1
120,238,1,42,2,1
121,3786,0,360,2,10
122,238,1,42,2,2
123,238,1,42,2,2
124,238,1,42,2,1
125,238,1,42,2,2
126,238,1,42,2,1
127,238,1,42,2,1
128,238,1,42,2,2
129,238,1,42,2,1
130,238,1,42,2,1
131,238,1,42,2,1
132,238,1,42,2,2
133,238,1,42,2,1
134,238,1,42,2,2
135,238,1,42,2,1
136,238,1,42,2,2
137,238,1,42,2,2
138,238,1,42,2,2
139,238,1,42,2,1
140,238,1,42,2,2
141,238,1,42,2,1
142,238,1,42,2,1
143,238,1,42,2,1
144,238,1,42,2,1
145,238,1,42,2,2
146,238,1,42,2,1
147,238,1,42,2,1
148,238,1,42,2,2
149,238,1,42,2,1
150,2893,1,267,3,12
151,2893,1,267,3,8
152,2893,1,267,3,10
153,2893,1,267,3,9
154,2893,1,267,3,9
155,2893,1,267,3,11
156,2893,1,267,3,9
157,2893,1,267,3,9
158,2893,1,267,3,10
159,2893,1,267,3,9
160,2893,1,267,3,8
161,2629,1,249,3,11
162,2893,1,267,3,11
163,2893,1,267,3,9
164,2893,1,267,3,8
165,2893,1,267,3,9
166,2629,1,249,3,8
167,2629,1,249,3,8
168,2893,1,267,3,9
169,2893,1,267,3,8
170,2893,1,267,3,8
171,2629,1,249,3,8
172,36207,0,2220,3,114
173,2893,1,267,3,8
174,36207,0,2220,3,98
175,2893,1,267,3,12
176,2893,1,267,3,11
177,2893,1,267,3,11
178,2629,1,249,3,7
179,2893,1,267,3,10
180,2893,1,267,3,8
181,36207,0,2220,3,96
182,2893,1,267,3,8
183,2629,1,249,3,7
184,2893,1,267,3,9
185,2893,1,267,3,8
186,36207,0,2220,3,97
187,2893,1,267,3,8
188,2893,1,267,3,8
189,2629,1,249,3,7
190,2893,1,267,3,8
191,2893,1,267,3,8
192,36207,0,2220,3,93
193,2893,1,267,3,8
194,2629,1,249,3,8
195,2629,1,249,3,8
196,2893,1,267,3,8
197,2629,1,249,3,7
198,2893,1,267,3,8
199,2893,1,267,3,8
200,2893,1,267,3,8
201,2893,1,267,3,8
202,2893,1,267,3,8
203,2893,1,267,3,9
204,2893,1,267,3,11
205,2893,1,267,3,11
206,2893,1,267,3,11
207,2893,1,267,3,11
208,2629,1,249,3,10
209,2893,1,267,3,10
210,2629,1,249,3,10
211,2893,1,267,3,11
212,2893,1,267,3,10
213,2629,1,249,3,10
214,2893,1,267,3,11
215,2893,1,267,3,8
216,2893,1,267,3,8
217,2893,1,267,3,8
218,2893,1,267,3,8
219,2893,1,267,3,8
220,2629,1,249,3,7
221,2629,1,249,3,7
222,2893,1,267,3,8
223,36207,0,2220,3,94
224,2893,1,267,3,8
225,36207,0,2220,3,93
226,2893,1,267,3,8
227,2893,1,267,3,8
228,2893,1,267,3,8
229,2893,1,267,3,7
230,2893,1,267,3,7
231,2893,1,267,3,8
232,2893,1,267,3,8
233,2629,1,249,3,7
234,2629,1,249,3,7
235,2893,1,267,3,7
236,2893,1,267,3,8
237,2893,1,267,3,7
238,2893,1,267,3,7
239,36207,0,2220,3,92
240,2893,1,267,3,8
241,36207,0,2220,3,99
242,2629,1,249,3,10
243,2893,1,267,3,10
244,2893,1,267,3,11
245,2893,1,267,3,10
246,2629,1,249,3,10
247,2893,1,267,3,10
248,2893,1,267,3,11
249,2893,1,267,3,10
250,2893,1,267,3,10
251,2893,1,267,3,11
252,2893,1,267,3,11
253,2893,1,267,3,10
254,2893,1,267,3,10
255,2629,1,249,3,16
256,2629,1,249,3,9
257,2893,1,267,3,10
258,2893,1,267,3,16
259,2893,1,267,3,15
260,2893,1,267,3,15
261,2893,1,267,3,16
262,2893,1,267,3,15
263,2893,1,267,3,15
264,2893,1,267,3,15
265,2893,1,267,3,16
266,2893,1,267,3,16
267,2893,1,267,3,15
268,2629,1,249,3,12
269,2893,1,267,3,22
270,18448,1,1116,4,99
271,11848,1,858,4,62
272,137532,0,6408,4,637
273,14752,1,972,4,51
274,14272,1,948,4,44
275,14752,1,972,4,64
276,14272,1,948,4,45
277,18448,1,1116,4,45
278,14272,1,948,4,37
279,18448,1,1116,4,52
280,137532,0,6408,4,366
281,14752,1,972,4,37
282,11848,1,858,4,29
283,27582,1,1476,4,80
284,14752,1,972,4,40
285,18448,1,1116,4,72
286,14752,1,972,4,56
287,11848,1,858,4,43
288,18448,1,1116,4,65
289,14752,1,972,4,37
290,18448,1,1116,4,45
291,18448,1,1116,4,45
292,14752,1,972,4,37
293,137532,0,6408,4,373
294,14752,1,972,4,37
295,3917120,0,92820,4,17709
296,18448,1,1116,4,56
297,14752,1,972,4,45
298,18448,1,1116,4,58
299,18448,1,1116,4,50
300,14272,1,948,4,35
301,18448,1,1116,4,48
302,4001270,0,94512,4,17556
303,137532,0,6408,4,382
304,14752,1,972,4,39
305,14272,1,948,4,38
306,137532,0,6408,4,385
307,18448,1,1116,4,53
308,14752,1,972,4,37
309,137532,0,6408,4,408
310,18448,1,1116,4,48
311,18448,1,1116,4,52
312,14752,1,972,4,39
313,137532,0,6408,4,378
314,18448,1,1116,4,70
315,18448,1,1116,4,67
316,137532,0,6408,4,409
317,18448,1,1116,4,62
318,18448,1,1116,4,65
319,14752,1,972,4,47
320,14752,1,972,4,49
321,18448,1,1116,4,53
322,137532,0,6408,4,429
323,14752,1,972,4,50
324,140754,0,5766,4,474
325,14752,1,972,4,48
326,14752,1,972,4,52
327,14752,1,972,4,46
328,18448,1,1116,4,58
329,18448,1,1116,4,58
330,18448,1,1116,4,58
331,14752,1,972,4,45
332,18448,1,1116,4,62
333,137532,0,6408,4,472
334,14752,1,972,4,47
335,14752,1,972,4,46
336,18448,1,1116,4,59
337,18912,1,1224,4,49
338,18912,1,1224,4,49
339,14752,1,972,4,37
340,14752,1,972,4,35
341,18448,1,1116,4,51
342,18912,1,1224,4,48
343,14752,1,972,4,45
344,137532,0,6408,4,385
345,18448,1,1116,4,51
346,14752,1,972,4,36
347,14752,1,972,4,37
348,14752,1,972,4,45
349,11848,1,858,4,30
350,14752,1,972,4,40
351,137532,0,6408,4,362
352,14752,1,972,4,35
353,18448,1,1116,4,50
354,11848,1,858,4,31
355,14752,1,972,4,46
356,14752,1,972,4,54
357,14752,1,972,4,54
358,11848,1,858,4,39
359,14752,1,972,4,56
360,14752,1,972,4,56
361,18448,1,1116,4,68
362,14752,1,972,4,51
363,14752,1,972,4,98
364,14752,1,972,4,46
365,137532,0,6408,4,465
366,14752,1,972,4,49
367,14752,1,972,4,43
368,14752,1,972,4,46
369,14272,1,948,4,45
370,14752,1,972,4,45
371,18448,1,1116,4,61
372,18448,1,1116,4,58
373,18448,1,1116,4,58
374,18448,1,1116,4,60
375,14752,1,972,4,45
376,14752,1,972,4,43
377,14752,1,972,4,44
378,137532,0,6408,4,453
379,14752,1,972,4,35
380,14752,1,972,4,42
381,14752,1,972,4,35
382,18448,1,1116,4,52
383,18448,1,1116,4,49
384,14752,1,972,4,36
385,14752,1,972,4,35
386,14272,1,948,4,35
387,14752,1,972,4,37
388,122388,0,6792,4,307
389,14752,1,972,4,43
390,18448,1,1116,4,53
391,14272,1,948,4,34
392,14752,1,972,4,37
393,14752,1,972,4,35
394,18448,1,1116,4,47
395,14752,1,972,4,57
396,14752,1,972,4,37
397,18448,1,1116,4,48
398,18448,1,1116,4,56
399,14272,1,948,4,43
400,14752,1,972,4,39
401,11848,1,858,4,35
402,14752,1,972,4,37
403,137532,0,6408,4,387
404,14272,1,948,4,45
405,14752,1,972,4,47
406,14752,1,972,4,51
407,14272,1,948,4,45
408,137532,0,6408,4,449
409,3445808,0,85758,4,15038
410,18448,1,1116,4,47
411,14272,1,948,4,39
412,14752,1,972,4,38
413,18448,1,1116,4,52
414,18448,1,1116,4,47
415,14752,1,972,4,36
416,14272,1,948,4,35
417,137532,0,6408,4,351
418,14272,1,948,4,42
419,18448,1,1116,4,45
420,14752,1,972,4,48
421,18448,1,1116,4,62
422,137532,0,6408,4,466
423,14752,1,972,4,46
424,14752,1,972,4,57
425,137532,0,6408,4,471
426,14272,1,948,4,45
427,137532,0,6408,4,471
428,14272,1,948,4,46
429,14272,1,948,4,49
430,18448,1,1116,4,62
431,14752,1,972,4,51
432,18448,1,1116,4,67
433,18448,1,1116,4,55
434,18448,1,1116,4,51
435,14272,1,948,4,40
436,14752,1,972,4,46
437,14752,1,972,4,39
438,14752,1,972,4,41
439,14272,1,948,4,51
440,14752,1,972,4,39
441,14272,1,948,4,37
442,18448,1,1116,4,53
443,18448,1,1116,4,59
444,43183,1,2421,5,143
445,379323,0,12978,5,1042
446,93139,1,3825,5,300
447,290079,0,12630,5,863
448,436605,0,15540,5,1315
449,62095,1,2937,5,211
450,93139,1,3825,5,348
451,64699,1,3039,5,213
452,93139,1,3825,5,377
453,64699,1,3039,5,231
454,93139,1,3825,5,373
455,43987,1,2445,5,144
456,43987,1,2445,5,138
457,43987,1,2445,5,132
458,64699,1,3039,5,224
459,93139,1,3825,5,493
460,353025,0,15510,5,1312
461,43183,1,2421,5,157
462,353025,0,15510,5,1177
463,11392073,0,204564,5,54185
464,43987,1,2445,5,155
465,64699,1,3039,5,192
466,353025,0,15510,5,982
467,32563,1,2103,5,92
468,436605,0,15540,5,1434
469,93139,1,3825,5,398
470,43183,1,2421,5,133
471,43987,1,2445,5,133
472,57199,1,2781,5,206
473,62095,1,2937,5,184
474,43183,1,2421,5,117
475,93139,1,3825,5,275
476,43183,1,2421,5,123
477,64699,1,3039,5,195
478,93139,1,3825,5,282
479,353025,0,15510,5,1012
480,57199,1,2781,5,162
481,436605,0,15540,5,1384
482,93139,1,3825,5,281
483,93139,1,3825,5,303
484,93139,1,3825,5,278
485,43987,1,2445,5,123
486,4216265,0,114462,5,15744
487,353025,0,15510,5,979
488,44095,1,2445,5,144
489,43183,1,2421,5,114
490,436605,0,15540,5,1295
491,93138,0,3825,5,427
492,66309,1,3285,5,244
493,436605,0,15540,5,1319
494,353025,0,15510,5,972
495,436605,0,15540,5,1473
496,64699,1,3039,5,177
497,43987,1,2445,5,123
498,487041,0,16632,5,1594
499,12152735,0,209802,5,61732
500,62095,1,2937,5,218
501,93139,1,3825,5,447
502,436605,0,15540,5,1422
503,43987,1,2445,5,126
504,436605,0,15540,5,1369
505,57199,1,2781,5,164
506,57199,1,2781,5,165
507,353025,0,15510,5,1038
508,62095,1,2937,5,173
509,64699,1,3039,5,173
510,43987,1,2445,5,125
511,353025,0,15510,5,1118
512,57199,1,2781,5,187
513,44095,1,2445,5,127
514,487041,0,16632,5,1521
515,64699,1,3039,5,179
516,64699,1,3039,5,185
517,64851,1,3201,5,189
518,57199,1,2781,5,163
519,487041,0,16632,5,1650
520,58185,1,3021,5,151
521,57199,1,2781,5,169
522,64699,1,3039,5,181
523,487041,0,16632,5,1348
524,44095,1,2445,5,144
525,64699,1,3039,5,223
526,8082065,0,169080,5,37460
527,436605,0,15540,5,1364
528,57199,1,2781,5,171
529,44095,1,2445,5,137
530,64699,1,3039,5,197
531,40257,1,2535,5,111
532,93139,1,3825,5,289
533,43183,1,2421,5,120
534,44095,1,2445,5,113
535,436605,0,15540,5,1274
536,43987,1,2445,5,128
537,57199,1,2781,5,188
538,57199,1,2781,5,188
539,57199,1,2781,5,243
540,57199,1,2781,5,231
541,57199,1,2781,5,211
542,57199,1,2781,5,170
543,44095,1,2445,5,128
544,93139,1,3825,5,300
545,43987,1,2445,5,125
546,57199,1,2781,5,171
547,353025,0,15510,5,1034
548,62095,1,2937,5,270
549,353025,0,15510,5,1133
550,57199,1,2781,5,157
551,44095,1,2445,5,151
552,62095,1,2937,5,174
553,6279089,0,160866,5,26627
554,64699,1,3039,5,196
555,44095,1,2445,5,114
556,43183,1,2421,5,116
557,62095,1,2937,5,174
558,43183,1,2421,5,121
559,43987,1,2445,5,136
560,64851,1,3201,5,194
561,436605,0,15540,5,1314
562,44095,1,2445,5,164
563,64851,1,3201,5,244
564,64699,1,3039,5,213
565,436605,0,15540,5,1392
566,44095,1,2445,5,119
567,43987,1,2445,5,120
568,64699,1,3039,5,196
569,64699,1,3039,5,196
570,62095,1,2937,5,182
571,436605,0,15540,5,1369
572,43183,1,2421,5,126
573,487041,0,16632,5,2099
574,64699,1,3039,5,191
575,62095,1,2937,5,174
576,64699,1,3039,5,191
577,9820049,0,170652,5,47912
578,487041,0,16632,5,1614
579,279803,0,12360,5,983
580,57199,1,2781,5,154
581,64699,1,3039,5,205
582,62095,1,2937,5,190
583,64699,1,3039,5,199
584,64699,1,3039,5,201
585,64699,1,3039,5,191
586,290079,0,12630,5,859
587,44095,1,2445,5,131
588,64699,1,3039,5,201
589,64699,1,3039,5,195
590,44095,1,2445,5,128
591,93139,1,3825,5,311
592,57199,1,2781,5,162
593,43987,1,2445,5,124
594,43183,1,2421,5,123
595,44095,1,2445,5,130
596,44095,1,2445,5,122
597,436605,0,15540,5,1777
598,353025,0,15510,5,1131
599,353025,0,15510,5,1079
600,62095,1,2937,5,181
601,62095,1,2937,5,175
602,64699,1,3039,5,189
603,64851,1,3201,5,195
604,42739,1,2397,5,116
605,64699,1,3039,5,170
606,64699,1,3039,5,189
607,436605,0,15540,5,1258
608,290079,0,12630,5,973
609,44095,1,2445,5,150
610,43183,1,2421,5,152
611,6133133,0,158148,5,26417
612,43183,1,2421,5,118
613,57199,1,2781,5,171
614,44095,1,2445,5,124
615,44095,1,2445,5,120
616,91869,1,3789,5,252
617,44095,1,2445,5,114
618,44095,1,2445,5,121
619,44095,1,2445,5,139
620,57199,1,2781,5,185
621,64699,1,3039,5,241
622,44095,1,2445,5,154
623,353025,0,15510,5,1038
624,44095,1,2445,5,116
625,353025,0,15510,5,978
626,93139,1,3825,5,289
627,64699,1,3039,5,178
628,6365885,0,159396,5,27532
629,43987,1,2445,5,117
630,93139,1,3825,5,291
631,62095,1,2937,5,165
632,44095,1,2445,5,110
633,436605,0,15540,5,1274
634,290079,0,12630,5,876
635,57199,1,2781,5,160
636,64699,1,3039,5,163
637,43183,1,2421,5,138
638,57199,1,2781,5,286
639,43987,1,2445,5,198
640,62095,1,2937,5,231
641,57199,1,2781,5,201
642,290079,0,12630,5,1038
643,44095,1,2445,5,131
644,32563,1,2103,5,94
645,93139,1,3825,5,305
646,64699,1,3039,5,189
647,64699,1,3039,5,191
648,62095,1,2937,5,187
649,436605,0,15540,5,1536
650,62095,1,2937,5,174
651,57199,1,2781,5,149
652,40257,1,2535,5,113
653,487041,0,16632,5,1850
654,64699,1,3039,5,189
655,64699,1,3039,5,177
656,57199,1,2781,5,165
657,32563,1,2103,5,87
658,93139,1,3825,5,281
659,129706,1,5670,6,340
660,95266,1,4920,6,255
661,261622,1,8658,6,720
662,155290,1,6318,6,441
663,156442,1,6396,6,456
664,129706,1,5670,6,385
665,155290,1,6318,6,428
666,903288,0,28920,6,3391
667,211402,1,7362,6,592
668,249898,1,8280,6,728
669,96012,1,5124,6,251
670,151642,1,6246,6,418
671,94138,1,4896,6,245
672,156442,1,6396,6,451
673,151642,1,6246,6,476
674,249898,1,8280,6,894
675,155290,1,6318,6,552
676,211402,1,7362,6,671
677,156442,1,6396,6,452
678,896838,0,31554,6,2691
679,151642,1,6246,6,530
680,129454,1,5664,6,403
681,703362,0,25110,6,2116
682,249898,1,8280,6,734
683,95266,1,4920,6,281
684,129706,1,5670,6,356
685,0,0,2337390,6,3876501
686,155290,1,6318,6,595
687,151642,1,6246,6,590
688,96012,1,5124,6,367
689,896838,0,31554,6,3555
690,211402,1,7362,6,839
691,127894,1,5640,6,505
692,129706,1,5670,6,497
693,44499802,0,758658,6,315990
694,700338,0,30204,6,2140
695,896838,0,31554,6,2763
696,516612,0,21864,6,1538
697,211402,1,7362,6,706
698,1397628,0,36084,6,4782
699,94138,1,4896,6,330
700,896838,0,31554,6,3495
701,249898,1,8280,6,901
702,249898,1,8280,6,713
703,211402,1,7362,6,671
704,127894,1,5640,6,376
705,33111506,0,423276,6,204065
706,211402,1,7362,6,782
707,896838,0,31554,6,3247
708,211402,1,7362,6,589
709,700338,0,30204,6,2084
710,100871540,0,1516974,6,820576
711,760338,0,26316,6,2776
712,156442,1,6396,6,513
713,129586,1,5634,6,510
714,129706,1,5670,6,506
715,127894,1,5640,6,481
716,129706,1,5670,6,455
717,69424666,0,815622,6,543333
718,760338,0,26316,6,2816
719,127894,1,5640,6,367
720,95002,1,4884,6,259
721,173184,1,6930,6,517
722,14914690,0,273378,6,83440
723,23998262,0,346188,6,151148
724,261622,1,8658,6,1289
725,700338,0,30204,6,2470
726,127894,1,5640,6,543
727,155290,1,6318,6,688
728,129706,1,5670,6,555
729,155290,1,6318,6,663
730,151642,1,6246,6,651
731,600138,0,25608,6,2659
732,151642,1,6246,6,577
733,95988,1,5058,6,389
734,96012,1,5124,6,345
735,211402,1,7362,6,798
736,11849636,0,239730,6,72595
737,11685092,0,236058,6,71847
738,149314,1,6156,6,650
739,151642,1,6246,6,588
740,96012,1,5124,6,363
741,167058,1,6696,6,577
742,95002,1,4884,6,314
743,95002,1,4884,6,317
744,95002,1,4884,6,311
745,760338,0,26316,6,2923
746,760338,0,26316,6,2861
747,151642,1,6246,6,552
748,129586,1,5634,6,484
749,760338,0,26316,6,3382
750,1397628,0,36084,6,6671
751,120318,1,5742,6,456
752,129706,1,5670,6,486
753,896838,0,31554,6,3685
754,896838,0,31554,6,3338
755,207718,1,7224,6,739
756,120318,1,5742,6,414
757,95002,1,4884,6,307
758,155290,1,6318,6,507
759,95002,1,4884,6,329
760,207718,1,7224,6,740
761,261622,1,8658,6,964
762,600138,0,25608,6,2131
763,261622,1,8658,6,1001
764,151642,1,6246,6,518
765,129706,1,5670,6,608
766,39540802,0,709896,6,270409
767,516612,0,21864,6,1449
768,896838,0,31554,6,2653
769,155290,1,6318,6,431
770,129706,1,5670,6,342
771,211402,1,7362,6,651
772,261622,1,8658,6,827
773,249898,1,8280,6,695
774,151642,1,6246,6,417
775,94342,1,4908,6,273
776,95266,1,4920,6,261
777,896838,0,31554,6,2642
778,896838,0,31554,6,3400
779,129706,1,5670,6,371
780,129706,1,5670,6,390
781,129706,1,5670,6,469
782,129706,1,5670,6,492
783,97218,1,5022,6,381
784,96012,1,5124,6,339
785,129706,1,5670,6,437
786,896838,0,31554,6,2692
787,94138,1,4896,6,283
788,97290,1,5184,6,277
789,1700525,0,41148,6,5550
790,94138,1,4896,6,332
791,896838,0,31554,6,3418
792,156442,1,6396,6,577
793,129454,1,5664,6,444
794,155290,1,6318,6,598
795,95266,1,4920,6,314
796,151642,1,6246,6,515
797,127894,1,5640,6,467
798,129586,1,5634,6,463
799,261622,1,8658,6,1077
800,95988,1,5058,6,335
801,165666,1,6714,6,617
802,129706,1,5670,6,437
803,165462,1,6720,6,511
804,17133956,0,324162,6,95608
805,129586,1,5634,6,599
806,129706,1,5670,6,431
807,129706,1,5670,6,520
808,120204,1,5754,6,435
809,151642,1,6246,6,685
810,151642,1,6246,6,615
811,151642,1,6246,6,655
812,896838,0,31554,6,4076
813,10261040,0,235704,6,54914
814,11786006,0,265296,6,73459
815,516612,0,21864,6,2172
816,95002,1,4884,6,352
817,129586,1,5634,6,430
818,303960,1,9234,6,1289
819,94138,1,4896,6,375
820,129454,1,5664,6,554
821,1397628,0,36084,6,5933
822,51536206,0,786018,6,417581
823,261622,1,8658,6,1029
824,129586,1,5634,6,465
825,129706,1,5670,6,490
826,703362,0,25110,6,2754
827,207718,1,7224,6,788
828,151642,1,6246,6,572
829,127894,1,5640,6,469
830,151642,1,6246,6,560
831,129454,1,5664,6,466
832,129706,1,5670,6,487
833,129706,1,5670,6,490
834,1397628,0,36084,6,5928
835,211402,1,7362,6,763
836,261622,1,8658,6,1072
837,127894,1,5640,6,468
838,95266,1,4920,6,332
839,129706,1,5670,6,486
840,155290,1,6318,6,602
841,17860058,0,327864,6,95201
842,1056288,0,27822,6,4432
843,151642,1,6246,6,509
844,94138,1,4896,6,293
845,418389,0,11694,6,1675
846,698677,1,17115,7,2477
847,2002935,0,52338,7,8172
848,298345,1,11421,7,976
849,410665,1,13167,7,1519
850,323221,1,11433,7,1018
851,262323,1,10623,7,799
852,555121,1,16191,7,1640
853,150585,1,8085,7,462
854,322801,1,11295,7,1059
855,966961,1,22149,7,4005
856,406981,1,12945,7,1684
857,232741,1,9789,7,933
858,199563,1,9255,7,886
859,33337925,0,546102,7,194414
860,2920389,0,65958,7,12382
861,534937,1,15621,7,2720
862,170713,1,8583,7,653
863,384993,1,13389,7,1658
864,410725,1,13155,7,2034
865,171769,1,8487,7,771
866,2208993,0,55722,7,7474
867,2208993,0,55722,7,8238
868,698677,1,17115,7,2374
869,40480259,0,562260,7,263566
870,167037,1,8559,7,607
871,234229,1,9921,7,828
872,410665,1,13167,7,2008
873,1541895,0,54846,7,5499
874,1204527,0,51684,7,3930
875,555121,1,16191,7,1855
876,0,0,1705758,7,2684548
877,28681895,0,523020,7,169121
878,5906895,0,99252,7,29410
879,11307953,0,283908,7,53249
880,534937,1,15621,7,2949
881,35387921,0,570498,7,204803
882,403621,1,12921,7,1547
883,400957,1,12945,7,1494
884,34488577,0,611730,7,201536
885,233893,1,9873,7,723
886,410725,1,13155,7,1436
887,25816913,0,497424,7,140033
888,234229,1,9921,7,849
889,295561,1,11229,7,1132
890,0,0,0,7,7263500
891,401329,1,12855,7,1342
892,698677,1,17115,7,2428
893,327459,1,12105,7,1106
894,49149173,0,645066,7,407099
895,37568723,0,537396,7,228767
896,18289235,0,367176,7,105942
897,552493,1,16023,7,2277
898,232297,1,9741,7,861
899,46922329,0,580470,7,384493
900,2551083,0,65520,7,11751
901,232453,1,9885,7,880
902,2009907,0,58248,7,9371
903,150615,1,8061,7,625
904,397717,1,12831,7,1572
905,19013999,0,424212,7,103832
906,214563,1,10143,7,820
907,291349,1,11223,7,1224
908,233317,1,9783,7,908
909,322801,1,11295,7,1272
910,43376189,0,555132,7,314393
911,402385,1,12789,7,1542
912,151563,1,8163,7,522
913,234805,1,9927,7,849
914,2009907,0,58248,7,7733
915,402385,1,12789,7,1583
916,698677,1,17115,7,3373
917,2551083,0,65520,7,10433
918,201789,1,9165,7,785
919,357189,1,12333,7,2109
920,403621,1,12921,7,1283
921,290221,1,10953,7,981
922,263739,1,10587,7,824
923,173257,1,8631,7,558
924,295561,1,11229,7,1032
925,19582913,0,377892,7,147506
926,112652771,0,958446,7,1187355
927,2009907,0,58248,7,9282
928,410725,1,13155,7,1507
929,234229,1,9921,7,842
930,1595775,0,46698,7,6144
931,234805,1,9927,7,941
932,2207253,0,55686,7,9297
933,295561,1,11229,7,1262
934,406981,1,12945,7,1538
935,234013,1,9915,7,910
936,290221,1,10953,7,1112
937,1102773,0,39288,7,4294
938,261591,1,10623,7,959
939,262323,1,10623,7,933
940,2009907,0,58248,7,7989
941,263739,1,10587,7,830
942,37624055,0,532452,7,244110
943,295561,1,11229,7,1163
944,232741,1,9789,7,916
945,1353597,0,47400,7,5958
946,3468723,0,69780,7,14206
947,21591491,0,367560,7,120749
948,410665,1,13167,7,1662
949,16363673,0,384282,7,87310
950,143254531,0,1559730,7,1875761
951,402385,1,12789,7,1471
952,22406699,0,435618,7,117232
953,19105327,0,377580,7,121744
954,1353597,0,47400,7,5859
955,3468723,0,69780,7,13868
956,2009907,0,58248,7,9003
957,2207253,0,55686,7,10361
958,397717,1,12831,7,1459
959,397717,1,12831,7,1494
960,1953927,0,51432,7,8042
961,232297,1,9741,7,764
962,171733,1,8595,7,512
963,290221,1,10953,7,825
964,290293,1,11157,7,1132
965,68758409,0,728304,7,657365
966,1953927,0,51432,7,8870
967,234805,1,9927,7,821
968,261591,1,10623,7,1029
969,555121,1,16191,7,2172
970,764485,1,18699,7,3290
971,534937,1,15621,7,2040
972,323221,1,11433,7,1020
973,406981,1,12945,7,1344
974,410725,1,13155,7,1232
975,19839491,0,390474,7,98920
976,534937,1,15621,7,2099
977,764485,1,18699,7,3644
978,290293,1,11157,7,1306
979,37231673,0,586908,7,243718
980,2207253,0,55686,7,7431
981,403621,1,12921,7,1215
982,234805,1,9927,7,721
983,323221,1,11433,7,1057
984,1012609,1,23325,7,3886
985,484521,1,14451,7,1822
986,3168459,0,59586,7,12103
987,2009907,0,58248,7,7695
988,764485,1,18699,7,3521
989,371788,1,15414,8,1707
990,2836890,0,74958,8,11733
991,654952,1,20538,8,2606
992,2350348,1,39330,8,9854
993,394452,1,16266,8,1475
994,2632191,0,43956,8,11453
995,498796,1,17532,8,1756
996,6959652,0,128316,8,33083
997,278380,1,13740,8,938
998,1191412,1,27450,8,4334
999,370326,1,15294,8,1362
1000,1342264,1,30216,8,6895
1001,1311136,1,29796,8,5202
1002,371908,1,15462,8,1350
1003,483292,1,17934,8,1622
1004,2123424,0,65076,8,9912
1005,2123424,0,65076,8,7869
1006,675546,1,20514,8,2530
1007,1667454,0,57552,8,5784
1008,668728,1,20862,8,2461
1009,391800,1,16176,8,1372
1010,7781916,0,139152,8,35281
1011,972568,1,26286,8,4645
1012,6991850,0,123432,8,29252
1013,88039418,0,960360,8,642194
1014,23009102,0,509472,8,110303
1015,1191412,1,27450,8,4527
1016,6818736,0,120000,8,27116
1017,377164,1,15786,8,1937
1018,2150028,0,76620,8,6960
1019,1168780,1,27108,8,4025
1020,1350196,1,30654,8,4443
1021,0,0,3263154,8,4200217
1022,51528914,0,736938,8,378092
1023,1667454,0,57552,8,6851
1024,377164,1,15786,8,1386
1025,251384,1,12120,8,1044
1026,517284,1,18468,8,1981
1027,498570,1,17688,8,1983
1028,341786,1,14814,8,1652
1029,4761042,0,98472,8,24264
1030,0,0,1943106,8,2812706
1031,1312516,1,29550,8,4491
1032,4255014,0,91374,8,15933
1033,2350348,1,39330,8,17439
1034,2175708,0,64998,8,9963
1035,70986184,0,1261890,8,568466
1036,157833232,0,1840002,8,1816006
1037,5296518,0,112764,8,21432
1038,102645880,0,1840062,8,664539
1039,19796312,0,461214,8,90433
1040,1193668,1,27492,8,4898
1041,78044674,0,867756,8,684147
1042,664000,1,20610,8,2546
1043,0,0,1990332,8,3994811
1044,497560,1,17586,8,1558
1045,965752,1,25920,8,3046
1046,3671142,0,77838,8,14177
1047,169483408,0,1567836,8,1892745
1048,37849706,0,655878,8,220990
1049,506268,1,17748,8,2292
1050,498796,1,17532,8,2283
1051,1168780,1,27108,8,4804
1052,96738014,0,1696212,8,586826
1053,385782,1,15540,8,1771
1054,35864176,0,612426,8,184329
1055,3196488,0,80592,8,12914
1056,1291204,1,29202,8,4626
1057,2205132,0,67668,8,8412
1058,654400,1,20244,8,2457
1059,930544,1,25374,8,3823
1060,32976950,0,527220,8,196913
1061,25499936,0,615174,8,120386
1062,371872,1,15606,8,1471
1063,479020,1,17418,8,1581
1064,273598,1,12840,8,899
1065,978304,1,26658,8,2835
1066,792066,1,22890,8,2980
1067,437078,1,16986,8,1620
1068,70420550,0,823050,8,517758
1069,329858,1,14328,8,1265
1070,663364,1,20544,8,2567
1071,370420,1,15306,8,1302
1072,280024,1,13716,8,1245
1073,791730,1,23034,8,2840
1074,655744,1,20538,8,2037
1075,1806570,0,54798,8,6541
1076,192212,1,10500,8,734
1077,1925790,0,67662,8,6501
1078,1626438,0,58392,8,6179
1079,947128,1,25740,8,3986
1080,376264,1,15780,8,1538
1081,1306467,0,29166,8,5240
1082,654952,1,20538,8,2616
1083,282628,1,13812,8,1038
1084,4428120,0,96384,8,20954
1085,35838086,0,586152,8,197663
1086,972568,1,26286,8,4206
1087,84285782,0,934260,8,880429
1088,91956608,0,1042164,8,773717
1089,1547342,0,56418,8,6220
1090,505396,1,18024,8,1698
1091,3595194,0,92250,8,12973
1092,660232,1,20652,8,2600
1093,1312516,1,29550,8,5479
1094,0,0,2170572,8,2275028
1095,129238288,0,1610130,8,1335453
1096,1182352,1,27006,8,5354
1097,1182352,1,27006,8,5526
1098,280110,1,12966,8,1173
1099,695730,1,21372,8,3021
1100,653044,1,20208,8,2715
1101,1168780,1,27108,8,5053
1102,2758488,0,81426,8,10455
1103,5271804,0,99882,8,23158
1104,1431432,1,30444,8,6868
1105,336396,1,14688,8,1479
1106,29213512,0,590112,8,152478
1107,2350348,1,39330,8,10500
1108,1342264,1,30216,8,6292
1109,940748,0,40842,8,3321
1110,3595194,0,92250,8,12540
1111,83486612,0,975570,8,561451
1112,26759510,0,498678,8,120571
1113,1306468,1,29166,8,6272
1114,978304,1,26658,8,4501
1115,1306468,1,29166,8,4950
1116,654952,1,20538,8,2195
1117,4753902,0,98280,8,17279
1118,375018,1,15246,8,1592
1119,6959652,0,128316,8,32233
1120,40699384,0,909696,8,229821
1121,505396,1,18024,8,2011
1122,1350196,1,30654,8,5632
1123,830497,0,26925,9,3239
1124,323405,1,16689,9,1242
1125,4840911,0,125166,9,22462
1126,2028331,1,44859,9,6785
1127,1777483,1,40569,9,5823
1128,1868901,1,44691,9,6523
1129,0,0,0,9,48477647
1130,711531,1,26127,9,2449
1131,4507963,1,71301,9,19799
1132,92698013,0,1116228,9,590491
1133,129887831,0,1389126,9,897621
1134,4283577,0,108300,9,18967
1135,1710367,1,38253,9,6988
1136,730411,1,26565,9,2412
1137,97805471,0,1181418,9,707600
1138,2042431,1,44265,9,9354
1139,477405,1,20163,9,1822
1140,55395989,0,803580,9,353685
1141,100869053,0,1135386,9,696762
1142,59690515,0,1136712,9,344637
1143,0,0,2528742,9,3674159
1144,0,0,0,9,39630719
1145,16409751,0,205572,9,88643
1146,99200597,0,1071852,9,656147
1147,6317217,0,134472,9,28885
1148,4840911,0,125166,9,21970
1149,91304489,0,1091094,9,623808
1150,411133,1,18807,9,1948
1151,941143,1,29019,9,3918
1152,6864183,0,149874,9,25803
1153,3740865,0,116298,9,16344
1154,525321,1,21705,9,2328
1155,5327799,0,139956,9,22344
1156,908007,1,29319,9,4271
1157,0,0,1815270,9,2644084
1158,8280357,0,149976,9,41688
1159,NaN,NaN,NaN,9,NaN
1160,188308291,0,1829442,9,1675242
1161,4787289,0,123534,9,19657
1162,55889523,0,1346604,9,301186
1163,37255791,0,1098624,9,178631
1164,950539,1,29637,9,3743
1165,1288759,1,33675,9,5036
1166,5665515,0,124800,9,26665
1167,170043905,0,1345068,9,2243973
1168,548491,1,22593,9,2104
1169,3616137,0,108570,9,13985
1170,2057333,0,74700,9,7513
1171,118657151,0,1224438,9,1024119
1172,728743,1,26217,9,2749
1173,2509419,1,51405,9,10154
1174,190438349,0,1589790,9,2128167
1175,6854643,0,149586,9,23288
1176,1324183,1,35277,9,4589
1177,973075,1,30327,9,2931
1178,979651,1,30093,9,3126
1179,717715,1,25437,9,2103
1180,28504679,0,587496,9,149396
1181,122089285,0,1615482,9,828398
1182,1305943,1,34773,9,4896
1183,438027,1,20235,9,1648
1184,3756055,1,60033,9,17066
1185,648681,1,23391,9,1990
1186,984955,1,30441,9,3289
1187,0,0,0,9,2495982
1188,6864183,0,149874,9,32825
1189,1287763,1,34473,9,5419
1190,3712423,1,58839,9,16802
1191,129098441,0,1430898,9,973981
1192,0,0,6491748,9,14033021
1193,48833285,0,882546,9,273286
1194,1206879,1,32913,9,4238
1195,743815,1,26883,9,2292
1196,567353,1,22725,9,1869
1197,3616137,0,108570,9,13208
1198,1799535,1,41553,9,6560
1199,87349433,0,1015302,9,513728
1200,4006551,0,122820,9,15760
1201,860949,1,27699,9,3293
1202,4015384,0,67623,9,18306
1203,1491318,1,44256,10,5825
1204,1386238,1,43434,10,4697
1205,66863288,0,1063626,10,329601
1206,1763854,1,47058,10,7155
1207,2410762,1,54690,10,9907
1208,1080260,1,35490,10,4143
1209,1847418,1,46350,10,7327
1210,1564856,1,44124,10,6217
1211,61417814,0,1099218,10,311288
1212,37723922,0,873042,10,177921